Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence

Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning and Robert Hirschfeld

Source URL: www.vpri.org

• Constraint programming
• Constraint satisfaction
• Constraint logic programming
• Constrained optimization
• Kaleidoscope
• Decomposition method
• Hidden transformation

Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

Source URL: www.sci.unich.it

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Automated theorem proving
• Constraint programming
• Predicate logic
• Frama-C
• Satisfiability modulo theories
• TPTP
• Mereology
• SPASS

Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker Joost Vennekens Hanne Vlaeminck

Source URL: people.cs.kuleuven.be

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States Stephen Oney, Brad Myers Carnegie Mellon University Pittsburgh, PAUSA {soney, bam}@cs.cmu.edu

Source URL: from.so

• Software engineering
• Computer programming
• Declarative programming
• Constraint programming
• Programming paradigms
• JavaScript
• Futures and promises
• Constraint
• Constraint logic programming
• Constraint satisfaction

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Premi per Tesi di Dottorato su argomenti di Logica Computazionale assegnati dalla Associazione Italiana “Gruppo Ricercatori e Utenti di Logic Programming” (GULP)

Source URL: www.programmazionelogica.it